Видео с ютуба K Framework

Matching Logic: Foundation of the K Framework

Matching Logic: Foundation of the K Framework
Using the K Framework to Formalize Functional Languages

Using the K Framework to Formalize Functional Languages
K Framework

K Framework
K framework and type theory

K framework and type theory
Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin

Introduction to the K Framework and KSolidity by Rikard Hjort and Shang Wei Lin
K Framework Masterclass with Aidan Etkin

K Framework Masterclass with Aidan Etkin
How Things Work #2: Executable Semantic Frameworks and K

How Things Work #2: Executable Semantic Frameworks and K
IOHK | Prof. Grigore Rosu | Inspirations Behind The K framework

IOHK | Prof. Grigore Rosu | Inspirations Behind The K framework
K-ARRAY Webinar Series | 3D Acoustical Simulation | eng

K-ARRAY Webinar Series | 3D Acoustical Simulation | eng
#239 Grigore Rosu: The K framework - a framework to formally define all programming languages

#239 Grigore Rosu: The K framework - a framework to formally define all programming languages
ACM@UIUC SIGPLAN - K Framework Demo

ACM@UIUC SIGPLAN - K Framework Demo
Runtime Verification: K Framework for Smart Contract Formal Verification with Rikard Hjort

Runtime Verification: K Framework for Smart Contract Formal Verification with Rikard Hjort
IOHK | Prof. Grigore Rosu - CEO of Runtime Verification | K framework and Cardano

IOHK | Prof. Grigore Rosu - CEO of Runtime Verification | K framework and Cardano
Основы работы в K-framework 2

Основы работы в K-framework 2
K framework Demo

K framework Demo
ETAPS 2016 - K: a semantic framework for programming languages and formal analysis tools - G. Rosu

ETAPS 2016 - K: a semantic framework for programming languages and formal analysis tools - G. Rosu
AgentK: Self-Evolving AI Agent Framework Can DO ANYTHING! (Generate Full-Stack Apps, Code, etc.)

AgentK: Self-Evolving AI Agent Framework Can DO ANYTHING! (Generate Full-Stack Apps, Code, etc.)
Framework vs. the K Neg | PF Lecture | Seth Small

Framework vs. the K Neg | PF Lecture | Seth Small
Helen Quinn: The New Framework for K-12 Science Education

Helen Quinn: The New Framework for K-12 Science Education
Is the Framework 13 (2025) Worth the $$$? Dev’s Perspective

Is the Framework 13 (2025) Worth the $$$? Dev’s Perspective